Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis". Besides presentations on current work in the area, the seminar focused on the following topics: (i) Modelling techniques and languages for collective adaptive systems based on the above formalisms. (ii) Verification of collective adaptive systems. (iii) Humans-in-the-loop in collective adaptive systems

Vyuziti pomeru integralnich charakteristik k hodnoceni vlastnosti svetelneho pole

Submitted thesis deals with a luminous environment. Today's luminous conditions are desribed with a values of illuminance of horizontal plane. Recommended values of this characteristics are brought by the standard according to the sort of visual activity. Use of the illuminance of the horizontal plane is the reason of relative ease both the calculation and measure. There's no need of expensive meter and difficult and demanding procedure of measure. But this quality doesn't describe enough the light in the whole interior space. Filling the space by the light is important in case of watching 3D subjects, moving subjects and variable angle of view. That's why is watched the dependence between luminous field describing parameters of both the lamp and the room. There is a endeavour to find the connection between the characteristics which describe the luminous conditions betterAvailable from STL Prague, CZ / NTK - National Technical LibrarySIGLECZCzech Republi

Persistence in CORBA

In the CORBA environment, a support for persistence is standardized by the COS Persistent Object Service document. The standard, however, only describes general guidelines, not providing the necessary details. The thesis aims at designing a working persistence support, analyzing the missing details in the process. To remove thus discovered drawbacks of the standard, a new standard for persistence is proposed

Modern Software Architectures: Novel Solutions Or Old Hats?

In the increasingly complex domain of information systems, an important role is attributed to their architecture. The developers are offered concepts such as component or multi-tier architectures and tools to implement them such as the application servers or web services. These are often a mixture of proven and novel solutions, whose overview and evolution from the recent past to the future trends is outlined in this article

Persistence in CORBA

In the CORBA environment, a support for persistence is standardized by the COS Persistent Object Service document. The standard, however, only describes general guidelines, not providing the necessary details. The thesis aims at designing a working persistence support, analyzing the missing details in the process. To remove thus discovered drawbacks of the standard, a new standard for persistence is proposed

SOFAnet: Middleware for Software Distribution over Internet

The paper focuses on software distribution over the Internet, points to weaknesses of the current practice and argues for removing the weaknesses by introducing a ubiquitous distribution framework at the middleware level. The paper describes our design and implementation of such a framework, capable of supporting complex distribution and licensing models

Distributed Component System Based On Architecture Description: The SOFA Experience

In this paper, the authors share their experience gathered during the design and implementation of a runtime environment for the SOFA component system. The authors focus on the issues of mapping the SOFA component definition language into the C++ language and the integration of a CORBA middleware into the SOFA component system, aiming to support transparently distributed applications in a real-life environment. The experience highlights general problems related to the type system of architecture description languages and middleware implementations, the mapping of the type system into the implementation language, and the support for dynamic changes of the application architecture